package tarantula.experiment.commons;

import junit.framework.TestCase;

public class CollectionsFailedTestsSimpleTestBug3 extends TestCase {
	public void test6() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var1 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var2 = var1.asList();
	    org.apache.commons.collections.set.ListOrderedSet var3 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var2);
	    org.apache.commons.collections.set.ListOrderedSet var4 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var6 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var7 = var0.size();
	    boolean var8 = var1.add((java.lang.Object)var7);
	    boolean var9 = var0.removeAll((java.util.Collection)var1);
	    
	    // Checks the contract:  equals-symmetric on var3 and var0.
	    assertTrue("Contract failed: equals-symmetric on var3 and var0.", var3.equals(var0) == var0.equals(var3));
	    
	    // Checks the contract:  equals-symmetric on var3 and var4.
	    assertTrue("Contract failed: equals-symmetric on var3 and var4.", var3.equals(var4) == var4.equals(var3));
	    
	    // Checks the contract:  equals-symmetric on var3 and var5.
	    assertTrue("Contract failed: equals-symmetric on var3 and var5.", var3.equals(var5) == var5.equals(var3));
	    
	    // Checks the contract:  equals-symmetric on var3 and var6.
	    assertTrue("Contract failed: equals-symmetric on var3 and var6.", var3.equals(var6) == var6.equals(var3));

	  }

	  public void test7() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var1 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var2 = var1.asList();
	    org.apache.commons.collections.set.ListOrderedSet var3 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var2);
	    boolean var4 = var1.add((java.lang.Object)var0);
	    
	    // Checks the contract:  equals-symmetric on var3 and var0.
	    assertTrue("Contract failed: equals-symmetric on var3 and var0.", var3.equals(var0) == var0.equals(var3));

	  }

	  public void test8() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var1 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var2 = var1.asList();
	    org.apache.commons.collections.set.ListOrderedSet var3 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var2);
	    int var4 = var0.size();
	    boolean var5 = var1.add((java.lang.Object)var4);
	    java.lang.Long var6 = new java.lang.Long(0L);
	    var0.add((int)var4, (java.lang.Object)var6);
	    
	    // Checks the contract:  equals-symmetric on var1 and var3.
	    assertTrue("Contract failed: equals-symmetric on var1 and var3.", var1.equals(var3) == var3.equals(var1));
	    
	    // Checks the contract:  equals-symmetric on var3 and var0.
	    assertTrue("Contract failed: equals-symmetric on var3 and var0.", var3.equals(var0) == var0.equals(var3));

	  }
}
